Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
201	Introduction to Tree Logics Pierre Genevès CNRS (slides mostly based on the ones by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2016-01-19 11:56:00 Model theory Mathematical logic Predicate logic First-order logic FO Second-order logic Structure Term Logic programming
202	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
203	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
204	Semantic Processing Semantics Semantic Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-23 22:06:25 Semantics Grammar Predicate logic Knowledge representation Computational linguistics Logical Form Dependency grammar First-order logic Description logic Semantic network Quantifier Model theory
205	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
206	Querying Proofs (Work in Progress) David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof NP First-order logic Formal proof
207	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
208	Tom LaGatta Publications & Projects Math/Statistical Modeling Publications (3) Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2014-01-06 03:10:13 Stochastic processes Abstract algebra Order theory Data analysis Topological data analysis Fractional Brownian motion Embedding
209	Walk’n’Merge: A Scalable Algorithm for Boolean Tensor Factorization D´ora Erd˝os Pauli Miettinen Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2013-12-06 18:36:48 Multilinear algebra Tensors Multivariate statistics Matrix theory Linear algebra Higher-order singular value decomposition Outer product Matrix decomposition Rank Mathematics of general relativity
210	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus

UPDATE